renamed lemma inj_on_strict_subset to image_strict_mono for symmetry with image_mono and to distinguish from inj_on_subset
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEcee0b9fccf6f: added lemma fimage_strict_mono
- Branches
- Unknown
- Tags