Def CategoryTheory.IsVanKampenColimit

Modification history