[Merged by Bors] - chore(SetTheory/Cardinal/Basic): inline mul_comm
into instance
#37094
This job was skipped
Loading
mul_comm
into instance
#37094