feat(RingTheory/Congruence): add the CompleteLattice instance (#8313)
#5685
Annotations
3 errors
|
Mathlib/GroupTheory/Congruence.lean#L456
Mathlib/GroupTheory/Congruence.lean#L456: ERR_ARR: Missing space after '←'.
|
|
Mathlib/RingTheory/Congruence.lean#L466
Mathlib/RingTheory/Congruence.lean#L466: ERR_ARR: Missing space after '←'.
|
|
|
The logs for this run have expired and are no longer available.
Loading