Theorem CategoryTheory.isPullback_of_cofan_isVanKampen

Modification history