Theorem Matrix.SemiconjBy.zpow_right

Modification history