leanprover-community/NNG4

add definitions for Ne and LE.

Closed this issue · 1 comments

I think it would sense to add NewDefinition LE and NewDefinition Ne to the correct levels along with some DefinitionDoc about them.

cleanup: done.