Theorem CategoryTheory.GrothendieckTopology.Plus.toPlus_eq_mk

Modification history