williamdemeo/DedekindTransposition
A general Dedekind transposition principle for lattices of equivalence realtions
Notes on a problem of Peter Palfy and Jan Saxl
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A general Dedekind transposition principle for lattices of equivalence realtions
Public repository.
Public repository.
Files associated with programming language course