Theorem Grp.FilteredColimits.colimitInvAux_eq_of_rel

Modification history