Repository navigation

Add note: Semantics defined only for canonical sat/dsat - #46

Open

dgpv wants to merge 1 commit into

sipa:masterfrom

Commits on Nov 4, 2020
- Add note: Semantics defined only for canonical sat/dsat
  dgpv
  committed
  b94ffde