Theorem CategoryTheory.BinaryCofan.isPullback_initial_to_of_isVanKampen

Modification history