of_nat_iso): missing parts of the limits API
#1355

Merged

feat(category_theory/limits/of_nat_iso): missing parts of the limits API #1355

mergify merged 9 commits into master from limits_nat_iso

feat(category_theory/limits/of_nat_isp)

75d95d01

kim-em requested a review from

rwbarton 6 years ago

kim-em requested a review from

jcommelin 6 years ago

kim-em requested a review 6 years ago

jcommelin commented on 2019-08-24

Update src/category_theory/limits/limits.lean

852e144f

Update src/category_theory/limits/limits.lean

99d1ef74

use @[reassoc]

b4c5df76

Merge branch 'limits_nat_iso' of github.com:leanprover-community/math…

17bb2666

Merge branch 'master' into limits_nat_iso

c46bf218

fixing after rename

18db80c5

fix renaming

eebfadf6

Merge branch 'master' into limits_nat_iso

f27fb4cc

jcommelin approved these changes on 2019-08-31

jcommelin added ready-to-merge

mergify merged 72ce940c into master 6 years ago

mergify deleted the limits_nat_iso branch 6 years ago

Reviewers

jcommelin

rwbarton

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone