`BookProof.UnboundedSpectralModel.mulRep_cayleyFn_eq_zero_inc` [IsFiniteMeasure mu] : mulRep mu (cayleyFn T) = 0

Initializing...

`BookProof.UnboundedSpectralModel.mulRep_cayleyFn_eq_zero_inc` [IsFiniteMeasure mu] : mulRep mu (cayleyFn T) = 0 · Prove2Me