Open denisrosset opened 3 years ago
This merges #246 and #247, which can be reviewed separately; it also adds laws that combine both operations.
This merges #246 and #247, which can be reviewed separately; it also adds laws that combine both operations.