mathlib
30220ebe - feat(order/rel_iso): relation embedding from empty type (#15372)

Commit

4 years ago

feat(order/rel_iso): relation embedding from empty type (#15372)

Author

vihdzp

vihdzp

Parents

Loading