The Euclidean descent step in $\mathrm{SL}(2,\mathbb Z)$: $|(M T^n S)_{00}|<|M_{00}|$ · Prove2Me

P

Initializing...

The Euclidean descent step in $\mathrm{SL}(2,\mathbb Z)$: $|(M T^n S)_{00}|<|M_{00}|$ · Prove2Me