Theorem Ideal.under_def

Modification history