minus-squarewisha@lemmy.mllinkfedilinkarrow-up6·2 months agohttps://proofwiki.org/wiki/Definition:Supremum_Metric#Continuous_Real_Functions
https://proofwiki.org/wiki/Definition:Supremum_Metric#Continuous_Real_Functions