no separate code-equations required for a lift_definition by using (code_dt) instead
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP934e6024154a: The last few occurrences of integrable_cong
- Branches
- Unknown
- Tags