Commit 2021-08-01 21:03 1530d767
View on Github →feat(group_theory/congruence): add con.lift_on_units
etc (#8488)
Add a helper function that makes it easier to define a function on
units (con.quotient c)
.
feat(group_theory/congruence): add con.lift_on_units
etc (#8488)
Add a helper function that makes it easier to define a function on
units (con.quotient c)
.