Theorem CategoryTheory.IsVanKampenColimit.precompose_isIso

Modification history