mathlib
0e3d02e8 - Why not just make it an instance directly

Commit

4 years ago

Why not just make it an instance directly Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

Vierkantor

Committer

Vierkantor

Parents