corrections for Sup{} = (0::nat)
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP8274c4ccd8c9: moved lemmas around, tuning
- Branches
- Unknown
- Tags
corrections for Sup{} = (0::nat) Tags None Subscribers None |