交換 こうかん法則 ほうそくだったら
kōkanhōsokudattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 交換法則

1. If commutative law…; When commutative law…

Tara Conditional
Mathematics