Foundationshard
0:00.0

What property justifies that x(y+z)=xy+xzx(y+z) = xy + xz?