Theorem ProjectiveSpectrum.as_ideal_lt_as_ideal

Modification history