Theorem CategoryTheory.GrothendieckTopology.isClosed_iff_close_eq_self

Modification history