Skip to content

Add refine_trigger lemma.#33

Merged
YaZko merged 1 commit intorocq9.0from
calvin-rocq9.0
Nov 14, 2025
Merged

Add refine_trigger lemma.#33
YaZko merged 1 commit intorocq9.0from
calvin-rocq9.0

Commits

Commits on Nov 13, 2025