chore: bump mathlib to v4.27.0 #1003
Triggered via pull request
January 26, 2026 08:51
YaelDillies
YaelDillies
synchronize
#1896
Status
Success
Total duration
9s
Artifacts
–