Theorem Algebra.pow_smul_mem_of_smul_subset_of_mem_adjoin

Modification history