mathlib3
to_nat_le_to_nat
#685
Merged
Overview
Commits
1
Changes
View On GitHub

to_nat_le_to_nat #685

ChrisHughes24 merged 1 commit into leanprover-community:master from sgouezel:to_nat_le_to_nat
sgouezel
sgouezel to_nat_le_to_nat
f36b621a
ChrisHughes24 ChrisHughes24 merged d5a1b468 into master 6 years ago
sgouezel sgouezel deleted the to_nat_le_to_nat branch 6 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