Skip to content

Comment on Graphical Linear Algebraparent

Comments

The good ol' "this proof is trivial so we'll skip it" move.

Oh man. The variant I see so infuriatingly often at the moment is “It is clear that these form a Lie algebra/finite abelian group/Hilbert space/bijective map/<whatever other thing that is long-winded or complex to prove> and I encourage the reader to satisfy themselves that this is the case”.

He should have really used the good ol' QED instead, lol

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.