Theorem Ideal.height_le_spanFinrank

Modification history