Added ext tactic level for sets

ImperialCollegeLondon / real-number-game

A gamification of the theorems in MATH40002 Analysis 1

Apache License 2.0

79 stars 8 forks source link

Closed grthomson closed 4 years ago

grthomson commented 4 years ago

ext tactic level for an identity with set difference and complement

currently added on as level 10, but i will move it to level 5/6 if it looks OK