Suprema Properties and Real Value Functinos
10859
Prove $\sup(f+g) \le \sup f + \sup g$
53056
natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
121732
Functional completeness of $\{\text{or},\text{ xor}, \text{ xnor}\}$
120947
continuous real-valued function
100759
Extending exponentiation to reals
117546
Idempotent of closure and other properties
49994
Deduction of $\forall y \exists x (x=y)$
119999
A property of every real polynomial.
81154
Characterising reals with terminating decimal expansions
103045
Composition of Proximal Operators
67490
Restricing domains for universal and existential quantifiers
4064
An equality involving the mean value property
24050
Characterization of the Closure of a Set
55689
Why are the Davies-Meyer and Miyaguchi-Preneel constructions secure?
69184
Proof that absolute value of supremum equals suprememum of absolute value
81203
Supremum and infimum of sets
70621
Question concerning the mean-value property