Theorem TensorPower.galgebra_toFun_def

Modification history