mathlib
f3835fab - feat(*): assorted simple lemmas, simplify some proofs (#1895)

Commit

6 years ago

feat(*): assorted simple lemmas, simplify some proofs (#1895) * feat(*): assorted simple lemmas, simplify some proofs * +1 lemma, +1 simplified proof

References

Author

urkud

Committer

mergify[bot]

Parents