Theorem DoubleCentralizer.algebraMap_snd

Modification history