merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE36389d25d33e: rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04…
rISABELLE646cd337bb08: Tiny tweaks to proofs - Branches
- Unknown
- Tags
Merged Changes
Merged Changes