Theorem CategoryTheory.Mat_.additiveObjIsoBiproduct_naturality

Modification history