mathlib3
refactor(topology): change continuous_at_within to continuous_within_at
#1034

Merged

refactor(topology): change continuous_at_within to continuous_within_at #1034

mergify merged 2 commits into leanprover-community:master from sgouezel:continuous_within_at

refactor(topology): change continuous_at_within to continuous_within_at

f2111b0d

sgouezel requested a review 6 years ago

PatrickMassot added ready-to-merge

PatrickMassot approved these changes on 2019-05-15

Merge branch 'master' into 'continuous_within_at'

d2566cbb

mergify merged 136e67a6 into master 6 years ago

sgouezel deleted the continuous_within_at branch 6 years ago

Reviewers

PatrickMassot

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone