Theorem CategoryTheory.mateEquiv_vcomp

Modification history