Commit 2024-12-20 05:03 0e8009b2

View on Github →

chore: simplify YoungDiagram.coe_bot and address porting note (#20000)

Estimated changes

modified theorem YoungDiagram.coe_bot