Theorem CategoryTheory.FinitaryExtensive.isVanKampen_finiteCoproducts

Modification history