Theorem AlgebraicGeometry.ΓSpec.adjunction_unit_naturality

Modification history