mathlib3
refactor(data/equiv/basic): simplify definition of equiv.set.range
#959
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
3
Changes
View On
GitHub
refactor(data/equiv/basic): simplify definition of equiv.set.range
#959
mergify
merged 3 commits into
master
from
ChrisHughes24-patch-1
refactor(data/equiv/basic): simplify definition of equiv.set.range
c0b98f1c
ChrisHughes24
requested a review
6 years ago
robertylewis
commented on 2019-04-22
delete duplicate
7fe4e708
robertylewis
approved these changes on 2019-04-22
robertylewis
added
ready-to-merge
Merge branch 'master' into 'ChrisHughes24-patch-1'
b42d9f0f
mergify
merged
45456cf1
into master
6 years ago
mergify
deleted the ChrisHughes24-patch-1 branch
6 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
robertylewis
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub