fix: update simp? output #128095
fgdoraisbuild.yml
on: push
Cancel Previous Runs (CI)
4s
Post-CI job
0s
Annotations
2 errors
|
Build:
Mathlib/MeasureTheory/Constructions/BorelSpace/Order.lean#L551
@Measurable.isLUB_of_mem unnecessary have this : {a |
|
|
Build
The process '/usr/bin/env' failed with exit code 1
|