Add Young discrete mathematics structures (Diagrams, Tableaux, Lattice)#823

Copilot wants to merge 3 commits intoproductionxaoex/reality-simulation-code:productionfrom

copilot/formalize-young-ring-conceptsxaoex/reality-simulation-code:copilot/formalize-young-ring-conceptsCopy head branch name to clipboard