Theorem FreeAbelianGroup.liftMonoid_coe

Modification history