basic): add nat_coe_eq_nat_coe_iff' (#10128)

Commit

4 years ago

feat(data/zmod/basic): add nat_coe_eq_nat_coe_iff' (#10128) To match the int version, from flt-regular

Author

alexjbest

Parents