Theorem CategoryTheory.IsVanKampenColimit.isUniversal

Modification history