Theorem CliffordAlgebra.submodule_comap_pow_reverse

Modification history