mathlib3
6ef9131e - miraculously managed to satisfy the unused argument linter

Commit

4 years ago

miraculously managed to satisfy the unused argument linter

Author

dupuisf

dupuisf

Parents

Loading