Theorem CategoryTheory.GrothendieckTopology.W_adj_unit_app

Modification history