merged
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLEd7ef73df3d15: lift BNF witnesses for quotients (unless better ones are specified by the user)
rISABELLE53fcbede7bf7: more robust (amending add9a9f6a290): proper syntax error instead of exception… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes