Def CategoryTheory.Mat_.equivalenceSelfOfHasFiniteBiproducts

Modification history