Theorem Transcendental.linearIndependent_sub_inv

Modification history