Theorem CategoryTheory.FinitaryPreExtensive.hasPullbacks_of_is_coproduct

Modification history