Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bounded_continuous_function.eq_of_empty

Modification history

2021-11-04 22:36

src/topology/continuous_function/bounded.lean

chore(topology/continuous_function/bounded): add simple lemmas (#10149)

Added bounded_continuous_function.eq_of_empty View on Github →