Theorem CategoryTheory.FinitaryPreExtensive.isUniversal_finiteCoproducts

Modification history