proper name for lemma totalp_on_total_on_eq
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE39f8051f71d4: update to jdk-17.0.6;
- Branches
- Unknown
- Tags
proper name for lemma totalp_on_total_on_eq Tags None Subscribers None
Description
Details
|