search

dcernst / IBL-IntroToProof

A textbook for the transition to proof course for mathematics majors utilizing IBL.
http://dcernst.github.io/IBL-IntroToProof
42 stars 22 forks source link

Add definition of "real function"? #134

Closed dcernst closed 3 years ago

dcernst commented 3 years ago

See https://proofwiki.org/wiki/Definition:Real_Function

dcernst commented 3 years ago

Done.