Theorem DoubleCentralizer.algebraMap_toProd

Modification history