Def Algebra.forget₂_Module_preserves_limits_aux

Modification history