mathlib3
cleanup instances/ennreal
#648
Merged
Overview
Commits
1
Changes
View On GitHub

cleanup instances/ennreal #648

johoelzl merged 1 commit into leanprover-community:master from sgouezel:ennreal
sgouezel
sgouezel cleanup instances/ennreal
3d2d850f
johoelzl johoelzl merged 30649f55 into master 7 years ago
sgouezel sgouezel deleted the ennreal 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