proofs(P06): state step_pop_disjoint_from_type_l1 + partial proof (Admitted)#280

Merged

hyperpolymath merged 3 commits into

mainfrom

proofs/p06-step-pop-disjoint-2026-06-01

Jun 1, 2026

Commits on Jun 1, 2026

proofs(P06): step_pop_disjoint_from_type_l1 + partial proof (Admitted)

hyperpolymath
and
claude
committed
ci: re-trigger after coq-build apt fix (#282)
hyperpolymath
committed
Merge main into proofs/p06 — resolve Print Assumptions block conflict (#270 audit + this PR's P06 block)
hyperpolymath
committed