Closed jcommelin closed 5 years ago
This PR fixes some coercions and notations. Now we no longer need to write A.R.
A.R
This PR fixes some coercions and notations. Now we no longer need to write
A.R
.