feat: notations for `internalCmraValid`, `internalEq`, `internalIncluded`#519

Open

alvinylt wants to merge 5 commits into

leanprover-community:masterfrom

ISTA-PLV:Notations

Commits on Jul 17, 2026

Minor improvements
alvinylt
committed