Adjoint Schur Operator Formula for Skew Schur Functions Combinatorics Weak Max-Flow Min-Cut Inequality Combinatorics Church's Theorem on Undecidability of First-Order Validity Logic Decidability of Propositional Validity Logic Dependent Random Choice Lemma for Bipartite Graphs Combinatorics Ky Fan Lemma Combinatorics Right Zero Law for Multiplication in Peano Arithmetic Logic Basic Inequalities for Cardinal Characteristics of an Ideal Set Theory Discrete Mathematics Area Set Theory Subarea