mathlib
c7d870e8 - chore(compatibility): compatibility with Lean 3.5.0c (#1007)

Commit

6 years ago

chore(compatibility): compatibility with Lean 3.5.0c (#1007)

References

#1007 - compatibility with Lean 3.5.0c

Author

cipher1024

cipher1024

Parents

Loading