mathlib3
0035e2dd - chore(*): upgrade to Lean 3.27.0c (#6411)

Commit

4 years ago

chore(*): upgrade to Lean 3.27.0c (#6411) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents