fixes for fun_prop for leanprover/lean4#6503 #143353
Annotations
2 errors
|
lint mathlib:
Mathlib/CategoryTheory/Monoidal/Opposite.lean#L42
@CategoryTheory.MonoidalOpposite.unmop_inj_iff should not be marked simp
|
|
lint mathlib
The process '/usr/bin/env' failed with exit code 1
|
Loading