P
Initializing...
Commuting subalgebras have commuting shared-factor supports · Prove2Me