wytp.proof.rules.quantifier

Classes