Theorem DoubleCentralizer.norm_def'

Modification history