← Back to context

Comment by RamblingCTO

2 days ago

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