search

lnay / metric-spaces-and-topology-game

MIT License
2 stars 1 forks source link

FEATURE: level to unlock triangle inequality #1

Closed lnay closed 5 months ago

lnay commented 5 months ago

Presumably first level.

To unlock the triangle inequality which will be used to prove that balls are open, introduce a level before to unlock that theorem. An idea for this is to prove a statement about a logical equivalence related to the triangle inequality (with reverse triangle inequality?)

lnay commented 5 months ago

Sorted in 9e0b240df7ce002397642d86f9223fba3fc84a38