Theorem Ideal.adic_module_basis

Modification history