Theorem Algebra.transcendental_def

Modification history