renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEdca9c237d108: added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and…
- Branches
- Unknown
- Tags