mathlib
7e70ebd0 - feat(data/nat/basic): b = c if b - a = c - a (#862)

Commit

6 years ago

feat(data/nat/basic): b = c if b - a = c - a (#862)

References

#862 - feat(data/nat/basic): b = c if b - a = c - a (assuming a ≤ b and a ≤ c)

Author

kim-em

kim-em

Committer

mergify[bot]

mergify[bot]

Parents

Loading