Theorem TensorPower.gOne_def

Modification history