Theorem CategoryTheory.isVanKampenColimit_extendCofan

Modification history