Mathlib v3 is deprecated. Go to Mathlib v4

Theorem closure_subtype

Modification history

2018-09-23 09:40

analysis/topology/continuity.lean

style(analysis/topology/continuity): minor reorganizations

Modified closure_subtype View on Github →

2017-08-10 16:36

topology/continuity.lean

construct reals as complete, linear ordered field

Added closure_subtype View on Github →