mathlib
aec54b3b - fix(.mergify.yml): remove " (leanprover-community/lean:3.5.1)" (#2077)
Commit
5 years ago
Author
Parents