Theorem CategoryTheory.GrothendieckTopology.trivial_covering

Modification history