MathDB
Tanay Mangal
@tanaymangal
Joined
- Problems
- 0
- Solutions
- 1
- Endorsements
- 0
- Followers
- Following
About
Tanay Mangal has not added profile details yet.
Problems
0No problems yet
Tanay Mangal has not posted a problem yet.
Solutions
1The square-sequence conjecture for $L(\mathcal{A}^\infty)$
Yes. I pushed this as far as I think one can responsibly push it with the present theory. There is a very clean route to the conjecture, but one genuinely deep mouse-theoretic lemm…