Theorem DegLex.exists_iff

Modification history