Skip to content

feat: notations for internalCmraValid, internalEq, internalIncluded#519

Open
alvinylt wants to merge 4 commits into
leanprover-community:masterfrom
ISTA-PLV:Notations
Open

feat: notations for internalCmraValid, internalEq, internalIncluded#519
alvinylt wants to merge 4 commits into
leanprover-community:masterfrom
ISTA-PLV:Notations

Use `≡` for `internalEq`

a1bb217
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Jul 16, 2026 in 4m 43s