merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEc06c95576ea9: Tidied some messy proofs
rISABELLE5ed992c47cdc: prefer canonical theorem name for fact collection declarations - Branches
- Unknown
- Tags
Merged Changes
Merged Changes