calc problem

Stream: new members

[vxctyxeha]

Is there a way to speed things up?

import Mathlib
open Equiv Classical Nat

#eval Finset.card ({σ : Perm (Fin 6) | σ ^ 3 = 1 ∧ σ ^ 2 ≠ 1 ∧ σ ^ 1 ≠ 1} : Finset (Perm (Fin 6)))

#eval Finset.card ({σ : Perm (Fin 10) | σ ^ 30 = 1 ∧ ∀ k < 30, k ≠ 0 → σ ^ k ≠ 1} : Finset (Perm (Fin 10)))