Theorem one_le_two'
Modification history
2022-12-06 04:12
src/algebra/order/monoid/nat_cast.lean
move(algebra/order/monoid/*): relocate `zero_le_one_class` again (#17820) …
Modified one_le_two'View on Github →2022-11-21 08:20
src/algebra/order/monoid/with_zero.lean
move(algebra/order/monoid/*): Relocate `zero_le_one_class` (#17646) …
Modified one_le_two'View on Github →