Def CategoryTheory.Limits.IsTerminal.equivOfIso

Modification history