mathlib3
feat(data/set/finite): add finite_lt_nat
#807
Merged
Overview
Commits
1
Changes
View On GitHub

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

ChrisHughes24 merged 1 commit into master from kmb-finite-lt-nat
kbuzzard
kbuzzard feat(data/set/finite): add finite_lt_nat
b1858297
ChrisHughes24 ChrisHughes24 merged e8818faf into master 7 years ago
ChrisHughes24 ChrisHughes24 deleted the kmb-finite-lt-nat branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum