Theorem CategoryTheory.Biprod.ofComponents_eq

Modification history