Theorem Algebra.injective_of_transcendental

Modification history