Theorem AlgebraicGeometry.ΓSpec.toOpen_unit_app_val_c_app'

Modification history