# Commit 2021-03-17 19:18 4ae81c2f

View on Github →feat(bounded_continuous_function): transport structure to C(α, β) when α compact (#6701)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(bounded_continuous_function): transport structure to C(α, β) when α compact (#6701)