HomePhabricator

bit shifts as class operations

Authored by florian.haftmann.

Description

bit shifts as class operations

Details

Committed
florian.haftmannNov 9 2019, 4:39 PM
Parents
rISABELLEb7d481cdd54d: new lemma
Branches
Unknown
Tags
Unknown