search

ImperialCollegeLondon / real-number-game

A gamification of the theorems in MATH40002 Analysis 1
Apache License 2.0
78 stars 7 forks source link

Add "use" to list of assumed tactics in C01L01 #13

Closed anrddh closed 4 years ago

stanescuUW commented 4 years ago

Thank you for your contribution!