Commit 2019-09-20 11:08 708a28cc
View on Github →chore(algebra/group/units): use def to_units instead of has_lift (#1431)
- chore(algebra/group/units): use
def to_unitsinstead ofhas_lift - Move, upgrade to
mul_equiv, add documentation
chore(algebra/group/units): use def to_units instead of has_lift (#1431)
def to_units instead of has_liftmul_equiv, add documentation