Def CommGroup.forget₂_CommMon_preserves_limits_aux

Modification history