`BookProof.ChapterPauliFundamental.stepT_involutive` : ∀ (μ : Fin 4) (T : Finset (Fin 4)), stepT μ (stepT μ T) = T

Initializing...

`BookProof.ChapterPauliFundamental.stepT_involutive` : ∀ (μ : Fin 4) (T : Finset (Fin 4)), stepT μ (stepT μ T) = T · Prove2Me