one last lemma about Total and Restr
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE5de9a5fbf2ec: adjustments for fewer WO assumptions
- Branches
- Unknown
- Tags
one last lemma about Total and Restr Tags None Subscribers None
Description
Details
|