Add exel (from mathbox sn-el), exex, exneq (from proof of dtru)#4521

Merged

benjub merged 3 commits intometamath:developfrom benjub:dtru

Jan 5, 2025

+94-70

Commits on Jan 2, 2025

Add exel (from mathbox sn-el), exex, exneq (from proof of dtru), and update dtru and comments.
benoit.jubin
committed

Commits on Jan 3, 2025

Revisions after review.
benoit.jubin
committed

Commits on Jan 5, 2025

Fix usage commands
tirix
committed