Commit 2022-12-08 06:45 09784eaf

View on Github →

feat: port algebra.group.ulift (#906) Port of Algebra.Group.ULift based on 655994e298904d7e5bbd1e18c95defd7b543eb94

Estimated changes

added theorem ULift.div_down
added theorem ULift.int_cast_down
added theorem ULift.inv_down
added theorem ULift.mul_down
added theorem ULift.nat_cast_down
added theorem ULift.one_down
added theorem ULift.pow_down
added theorem ULift.smul_down