Theorem Grp.FilteredColimits.colimit_one_eq

Modification history