mathlib
988f160d - fix(data/rat/basic): Remove incorrect simp attribute (#14765)

Commit
3 years ago
fix(data/rat/basic): Remove incorrect simp attribute (#14765) Remove simp attribute that breaks `field_simp`.
Author
Jon Eugster
Parents
Loading