Theorem DoubleCentralizer.coe_eq_algebraMap

Modification history