ProofWiki:Sandbox

Continuous real function