Theorem transcendental_iff

Modification history