Theorem DirectSum.IsInternal.addSubmonoid_supᵢ_eq_top

Modification history