Def CategoryTheory.Equivalence.mapCommMon

Modification history