Theorem MonCat.FilteredColimits.M.mk_surjective

Modification history