Theorem Module.End.commute_exp_left_of_commute

Modification history