Theorem CategoryTheory.mateEquiv_hcomp

Modification history