mathlib3
Isometries
#657
Merged
Overview
Commits
3
Changes
View On GitHub

Isometries #657

johoelzl merged 3 commits into leanprover-community:master from sgouezel:isometry
sgouezel
sgouezel Isometries
f6c5eaef
cipher1024 cipher1024 assigned avigad avigad 7 years ago
cipher1024 cipher1024 assigned johoelzl johoelzl 7 years ago
johoelzl
johoelzl
sgouezel
johoelzl
jcommelin
rwbarton
sgouezel update isometry.lean
03909d3a
sgouezel
sgouezel tidy isometry
229f43d3
johoelzl johoelzl merged 46d10092 into master 7 years ago
sgouezel sgouezel deleted the isometry branch 6 years ago

Login to write a write a comment.

Login via GitHub

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