Theorem CategoryTheory.isVanKampenColimit_of_isEmpty

Modification history