Def CategoryTheory.Presheaf.coherentExtensiveEquivalence

Modification history