LESSWRONG
LW

2812
Wikitags

The alternating group on five elements is simple

Discuss the wikitag on this page. Here is the place to ask questions and propose changes.
New Comment
3 comments, sorted by
top scoring
[-]habryka5y*20

This is a test comment

Reply
[-]Patrick Stevens9y*30

This is definitely a page which admits two lenses: the "easy" proof and the "theory-heavy" proof. What kind of lens design might people use?

Reply2
[-]alexei9y*30

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'.

Reply2
Moderation Log