added lemmas relpowp_left_unique and relpow_left_unique
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEd4c077078497: added lemmas relpowp_right_unique and relpow_right_unique
- Branches
- Unknown
- Tags
added lemmas relpowp_left_unique and relpow_left_unique Tags None Subscribers None |