added lemma zip_option_same[simp]
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP714d3805bd5e: added definition rename_subst_domain and lemma…
- Branches
- Unknown
- Tags
added lemma zip_option_same[simp] Tags None Subscribers None |