Theorem CategoryTheory.IsVanKampenColimit.precompose_isIso_iff

Modification history