`BookProof.ChapterPinDoubleCover.LamZ_hom` : ∀ S ∈ Omega, ∀ T ∈ Omega, LamZ (S * T) = LamZ S * LamZ T

Initializing...

`BookProof.ChapterPinDoubleCover.LamZ_hom` : ∀ S ∈ Omega, ∀ T ∈ Omega, LamZ (S * T) = LamZ S * LamZ T · Prove2Me