Theorem AlgebraicGeometry.ΓSpec.toOpen_unit_app_val_c_app

Modification history