mathlib3
216fe782 - fix `to_Spec_from_Spec`

Commit
2 years ago
fix `to_Spec_from_Spec`
Author
Parents
Loading