added lemma decompose_same_Fun[simp]
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFPc32416e46a0b: added lemma zip_option_same[simp]
- Branches
- Unknown
- Tags
added lemma decompose_same_Fun[simp] Tags None Subscribers None |