mathlib
22031137 - Remove unused utility function

Commit
5 years ago
Remove unused utility function
Author
Committer
Parents
Loading