Theorem Algebra.commute_of_mem_adjoin_singleton_of_commute

Modification history