mathlib
c79ffb75 - fix `from_Spec_to_Spec`

Commit
3 years ago
fix `from_Spec_to_Spec`
Author
Parents
Loading