wis(l,i:ZZ)

wis(l,i)=l_{rijvariabele(l)/{i}}

wis(l)

wis(l)=l

wis(l,v:Lijst|Vector|Rijvariabele)

wis(l,i)=l_{rijvariabele(l)/v}

wis(l:Lijst|Vector,i₁,…,i_n )

wis(p:Veelhoekig|Veelhoek,i:ZZ)