Commit 2025-07-20 12:35 75d6f9e2

View on Github →

feat: missing definitional lemmas for the braiding on Mon_ C (#27060) From Toric

Estimated changes