Theorem CategoryTheory.FinitaryPreExtensive.isUniversal_finiteCoproducts_Fin

Modification history