Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_swap

Modification history

2018-07-02 11:47

analysis/topology/continuity.lean

feat(analysis/topology/continuity): generalized tube lemma and some corollaries

Added continuous_swap View on Github →