feat(coq): PhiSquaredIdentity — close Crown47↔Coq gap#691

Open

gHashTag wants to merge 1 commit into

feat/phi-squared-identity-lemma

Commits on May 16, 2026

feat(coq): add PhiSquaredIdentity.v — closes Crown47↔Coq gap
Vasilev Dmitrii
committed