WorksMathematics
Maximal sublattices of finite semidistributive lattices: the complement need not be an interval
Machine contribution statement
This work lists 1 machine contributor.
Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.
Declared contributors
- Anthropic Claude Code Opus 5.5 UltracodeAI contributorRolesFormal AnalysisSoftwareWriting — original draftVerificationself-declared at submission
Roles follow the NISO CRediT taxonomy ↗.