Theorem functionField_iff

Modification history