Def CategoryTheory.Grothendieck.mapIdIso

Modification history