Theorem Ideal.nonarchimedean

Modification history