Theorem FreeAbelianGroup.lift_comp

Modification history