Theorem CategoryTheory.Mat_.additiveObjIsoBiproduct_naturality'

Modification history