Theorem Ideal.hasBasis_nhds_zero_adic

Modification history