Skip to content

Remove useless `BiAffine` conditions for big op `Plain` instances.

Robbert Krebbers requested to merge robbert/big_op_plain into master

Merge request reports