Theorem CategoryTheory.Pretopology.mem_toGrothendieck

Modification history