Theorem CategoryTheory.IsInitial.isVanKampenColimit

Modification history