WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Uniform continuity
Revision #2002 → #2666 ·
back to history
modified
Cauchy-continuous extension criterion
0e47d90e4204
Field
From #2002
To #2666
mathlib.decl
DenseInducing.extend
IsDenseInducing.extend
provenance
ai
ai-moderated