mathlib
139c457c - removing a simps that was unnecessary, and resulting in a linter timeout

Commit

4 years ago

removing a simps that was unnecessary, and resulting in a linter timeout

Author

kim-em

kim-em

Parents

Loading