Theorem Algebra.commute_of_mem_adjoin_self

Modification history