Theorem enat.coe_lt_coe
Modification history
2022-07-11 16:51
src/data/nat/enat.lean
refactor(data/nat/enat): rename `enat` to `part_enat` (#15235) …
Deleted enat.coe_lt_coeView on Github →2020-04-16 08:33
src/data/nat/enat.lean
refactor(tactic/norm_cast): simplified attributes and numeral support (#2407) …
Modified enat.coe_lt_coeView on Github →