PR #1416 chore(topology): sanity_check pass

chore(topology): sanity_check pass #1416

mergify merged 4 commits into leanprover-community:master from sgouezel:sanity

chore(topology): sanity_check pass

1db73618

improvement

e4245534

sgouezel requested a review 6 years ago

sgouezel assigned

PatrickMassot 6 years ago

kim-em commented on 2019-09-08

avoid _inst_3 to recover instance

1fce5c0e

PatrickMassot commented on 2019-09-09

PatrickMassot approved these changes on 2019-09-10

PatrickMassot added ready-to-merge

Merge branch 'master' into sanity

1df2bcd8

mergify merged fe1575a0 into master 6 years ago

sgouezel deleted the sanity branch 6 years ago

Reviewers

PatrickMassot

fpvandoorn

kim-em

Assignees

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone