slightly more elementary characterization of unset_bit
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rAFP608f10ad4828: base abstract specification of NOT on recursive equation rather than bit…
- Branches
- Unknown
- Tags