Theorem CategoryTheory.Mat_.ι_additiveObjIsoBiproduct_inv

Modification history