forAll

Prop

forAllG

Prop

forAllS

Prop