mathlib
48b7ad6f - chore(*): upgrade to lean 3.45.0c (#15325)

Commit

3 years ago

chore(*): upgrade to lean 3.45.0c (#15325) The `decidable_eq json` instance has moved to core, since it was needed for tests there too.

Author

eric-wieser

Parents