mathlib
97265543 - chore(analysis/*): remove some non-terminal simps (#17346)

Commit

3 years ago

chore(analysis/*): remove some non-terminal simps (#17346)

Author

mcdoll

mcdoll

Parents

Loading