`BookProof.ChapterPauliFundamental.sel_split` : ∀ (μ : Fin 4) (T : Finset (Fin 4)), sel T = sel (lo μ T) ++ sel (hi μ T)

Initializing...

`BookProof.ChapterPauliFundamental.sel_split` : ∀ (μ : Fin 4) (T : Finset (Fin 4)), sel T = sel (lo μ T) ++ sel (hi μ T) · Prove2Me