Commit 2023-02-11 20:43 caa27454

View on Github →

feat: port Algebra.Order.Nonneg.Field (#2200)

Estimated changes

added theorem Nonneg.inv_mk
added theorem Nonneg.mk_div_mk
added theorem Nonneg.mk_zpow
added theorem Nonneg.nat_ceil_coe
added theorem Nonneg.nat_floor_coe