Theorem CategoryTheory.Functor.inl_biprodComparison'

Modification history