"Most technical version goes..."

https://arbital.com/p/4jp

by Alexei Andreev Jun 17 2016


Most technical version goes onto the primary page (this one). Easier versions get their own lenses. You could title the lens "Easy proof" or "Simple proof'.