Theorem: repbleByWord (Bruhat/Word.lean)

State before:
f : Equiv.Perm ℕ
hf : Set.Finite (support f)
⊢ RepbleByWord f
Tactic:
exact repbleByWord_aux _ hf f (subset_refl _)
State after:
no goals