added lemmas inj_on_Fun_fun[simp], inj_on_Fun_args[simp], and inj_on_Fun[simp]
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP7f16aa37c534: proper getopts;
- Branches
- Unknown
- Tags
added lemmas inj_on_Fun_fun[simp], inj_on_Fun_args[simp], and inj_on_Fun[simp] Tags None Subscribers None |