Def SemiRing.forget₂_AddCommMon_preserves_limits_aux

Modification history