summaryrefslogtreecommitdiff
path: root/Nominal
AgeCommit message (Collapse)Author
2025-10-23add equivariant instancesHannes Schulze
2025-10-23define equivarianceHannes Schulze
2025-10-23add freshnessHannes Schulze
2025-10-22always require infinite, countable, equality-decidable atomsHannes Schulze
2025-10-22update importsHannes Schulze
2025-10-22add product and coproduct instancesHannes Schulze
2025-10-22some helper lemmas for fixHannes Schulze
2025-10-22further simplificationsHannes Schulze
2025-10-21Restructure support_inter proofHannes Schulze
2025-10-21restructureHannes Schulze
2025-10-21very rough draft for support_interHannes Schulze
2025-10-21simplify some moreHannes Schulze
2025-10-21add some proofs about specific least supportsHannes Schulze
2025-10-20some simplificationsHannes Schulze
2025-10-20prove things about intersections and supportsHannes Schulze
2025-10-20Prove nonempty induction on finsetsHannes Schulze
2025-10-20further workHannes Schulze
2025-10-20further work on nominal set definitionHannes Schulze
2025-09-25implement group of finitely supported permutationsHannes Schulze
2025-09-19initial commitHannes Schulze
generated by cgit v1.3.1 (git 2.54.0) at 2026-11-10 12:02:33 +0000