Theorem CategoryTheory.mono_of_cofan_isVanKampen

Modification history