Commit 2021-09-28 07:29 01adfd65
View on Github →chore(analysis/special_functions): add some @[simp]
attrs (#9423)
Add @[simp]
attrs to real.sin_add_pi
and similar lemmas.
chore(analysis/special_functions): add some @[simp]
attrs (#9423)
Add @[simp]
attrs to real.sin_add_pi
and similar lemmas.