added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE9df291750cc0: merged
- Branches
- Unknown
- Tags
added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and… Tags None Subscribers None |