mathlib
3a577c48 - simplify down to three variables

Commit
3 years ago
simplify down to three variables
Author
Parents
Loading