Resolve "Big-Theta proof"
Closes #43 (closed)
Apparently the ADS CS edition does not have a big-theta proof yet, so I came up with one myself.
Edited by Maarten Sijm
Closes #43 (closed)
Apparently the ADS CS edition does not have a big-theta proof yet, so I came up with one myself.