Theorem SubmodulesBasis.nonarchimedean

Modification history