Theorem and_forall_ne

Modification history