Remove requirement for pattern matching in ×-comm
and ×-assoc
(#1…
#905
This job was skipped
Loading
×-comm
and ×-assoc
(#1…
#905