mathlib3
48fb5b52 - refactor(*): move all `mk_simp_attribute` commands to 1 file (#19223)

Commit

2 years ago

refactor(*): move all `mk_simp_attribute` commands to 1 file (#19223)

Author

urkud

urkud

Parents

Loading