Theorem Submodule.pow_eq_span_pow_set

Modification history