Commit 2025-01-09 16:34 ae534e11

View on Github →

chore(Algebra): add missing simp lemmas (#20610)

  • Tag some *.closure_eq lemmas as simp. Previously, these lemmas were tagged simp for some substructures but not others.

Estimated changes