summaryrefslogtreecommitdiff
path: root/library/set
AgeCommit message (Expand)Author
32 hoursStabilize one-core set proofsadelon
46 hoursMigrate equinumerosity proofsadelon
2 daysMigrate Cantor and fixpoint proofsadelon
2 daysSimplify exact product proofsadelon
2 daysMigrate filter proofs to exact checkingadelon
2 daysMigrate product proofs to exact checkingadelon
2 daysAlign successor with canonical set insertionadelon
2 daysMigrate elementary set proofs to exact checkingadelon
3 daysRewrite protected set and naturals closureadelon
5 daysBuild module-local syntax interfacesadelon
2026-04-12Make handling of local variables stricteradelon
2025-12-03Update regularity.texadelon
2025-07-16Add quantified calcs and relax tokenizationadelon
2025-07-08Linting and optimizationadelon
2024-09-18working commitSimon-Kor
2024-05-28Pow closed under binary intersectionadelon
2024-05-23Update formattingadelon
2024-05-22Update filter.texadelon
2024-05-22Add filter lemmasadelon
2024-05-22Add lemma `filter_setminus_in`adelon
2024-05-21Add simple lemmas on filtersadelon
2024-02-10Initial commitadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:34 +0000