Theorem FreeAbelianGroup.liftMonoid_symm_coe

Modification history