The top documents tagged [theoremsa use of propositions]