Def CategoryTheory.SimplicialObject.eqToIso

Modification history