proper transfer / trim_context;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEec817f4486b3: more operations "without_context", assuming that the thm has been properly…
- Branches
- Unknown
- Tags
proper transfer / trim_context; Tags None Subscribers None
Description
Details
|