Theorem: LoVe.shuffle_shuffle_shuffle (LoVe/Lectures/LoVe05_FunctionalProgramming_Demo.lean)

State before:
c : RGB
⊢ shuffle (shuffle (shuffle c)) = c
Tactic:
rfl
State after:
no goals