mathlib3
0580c791 - remove one sorry which was due (probably) to clashing instances

Commit

3 years ago

remove one sorry which was due (probably) to clashing instances

Author

bottine

bottine

Parents

Loading