Theorem CategoryTheory.Functor.biproductComparison_π

Modification history