mathlib3
e8818faf - feat(data/set/finite): add finite_lt_nat (#807)

Commit

6 years ago

feat(data/set/finite): add finite_lt_nat (#807)

References

#807 - feat(data/set/finite): add finite_lt_nat

Author

kbuzzard

kbuzzard

Committer

ChrisHughes24

ChrisHughes24

Parents

Loading