Theorem CategoryTheory.GrothendieckTopology.le_canonical

Modification history