add lemma length_app_comm#75
Merged
proux01 merged 1 commit intorocq-prover:masterfrom Jan 18, 2025
NicholasBHubbard:add-lemma-length_app_comm
Merged
add lemma length_app_comm#75proux01 merged 1 commit intorocq-prover:masterfrom NicholasBHubbard:add-lemma-length_app_comm
proux01 merged 1 commit intorocq-prover:masterfrom
NicholasBHubbard:add-lemma-length_app_comm
Commits
Commits on Jan 18, 2025
- authored andcommitted
