Def CategoryTheory.Equivalence.sheafCongr

Modification history