Double distributivité.

Informatie: Double distributivité.