`BookProof.ChapterWeylSl2.Sl2Rep.eq_zero_of_add_self` {x : V} (h : x + x = 0) : x = 0 · Prove2Me

P

Initializing...

`BookProof.ChapterWeylSl2.Sl2Rep.eq_zero_of_add_self` {x : V} (h : x + x = 0) : x = 0 · Prove2Me