merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE16eaa56f69f7: added lemmas wf_imp_asym, wfP_imp_asymp, and wfP_imp_irreflp
rISABELLEfa0020b47868: New and simplified theorems - Branches
- Unknown
- Tags
Merged Changes
Merged Changes