Theorem with_top.coe_zero
Modification history
2020-06-25 04:35
src/algebra/ordered_group.lean
refactor(algebra/*): small API fixes (#3157) …
Deleted with_top.coe_zeroView on Github →2020-06-23 14:59
src/algebra/ordered_group.lean
fix(algebra/ordered*): add norm_cast attribute (#3132)
Modified with_top.coe_zeroView on Github →