Theorem CategoryTheory.BinaryCofan.mono_inr_of_isVanKampen

Modification history