derivation theorem 21 logic sentential logic leanprover.github.io Category:math Global Rank:694,839 visits:46.7K pages/Per:4.1 ADS