New definition of the Aleph operator so that it's defined for all arguments, not just ordinals
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP20a186d1f454: ALEXANDRIA acknowledgements
- Branches
- Unknown
- Tags