Theorem CategoryTheory.Mat_.equivalenceSelfOfHasFiniteBiproducts_inverse

Modification history