mathlib
ec51fb79 - chore(algebra/order/floor): prove `subsingleton`s (#9996)

Commit

4 years ago

chore(algebra/order/floor): prove `subsingleton`s (#9996)

Author

urkud

urkud

Parents

Loading