Theorem CategoryTheory.GrothendieckTopology.right_ore_of_pullbacks

Modification history