Theorem AlgebraicGeometry.compact_open_induction_on

Modification history