Theorem linearIndependent_pow

Modification history