mathlib
8da70972 - Some better idea for generalization

Commit
5 years ago
Some better idea for generalization
Author
Parents
Loading