replaced operation with weak abstraction by input abbreviation
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE18357df1cd20: avoid compound operation
- Branches
- Unknown
- Tags
replaced operation with weak abstraction by input abbreviation Tags None Subscribers None |