Theorem DegLex.forall_iff

Modification history