local_equiv): define local equivalences
#1359

Merged

feat(data/equiv/local_equiv): define local equivalences #1359

mergify merged 5 commits into leanprover-community:master from sgouezel:local_equiv

feat(data/equiv/local_equiv): define local equivalences

d5f0fc03

add doc

63597777

sgouezel requested a review 6 years ago

kim-em commented on 2019-08-25

add extensionality attribute

49209acd

sanity_check

6209446b

fpvandoorn approved these changes on 2019-09-04

fpvandoorn added ready-to-merge

Merge branch 'master' into local_equiv

9cdf57be

mergify merged 62928251 into master 6 years ago

sgouezel deleted the local_equiv branch 6 years ago

Reviewers

fpvandoorn

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone