Commit 2024-10-07 17:59 3ce877a1

View on Github →

chore(DomMulAct): remove decidability assumptions (#17510) Found by the linter in #10235.

Estimated changes

modified theorem DomMulAct.stabilizer_card