Theorem Ne.ne_or_ne

Modification history