Theorem CategoryTheory.GrothendieckTopology.Plus.exists_rep

Modification history