Theorem CategoryTheory.isVanKampenColimit_of_evaluation

Modification history