New posts in Proof Verification

Suppose that $G$ is a group of order $924=2^2\cdot3\cdot7\cdot 11$. Prove that $G$ has an element of order $77$.

What is the cardinality of the set of subgroups of $(\mathbb R, +)$?

Conditional Probability and Shark Attacks

A characterization of Weak Convergence in $L^p$ spaces

Homotopy equivalence upper triangular matrices and torus

Given $f$ is continuous and $f(x)=f(e^{t}x)$ for all $x\in\mathbb{R}$ and $t\ge0$, show that $f$ is constant function

Show that the system $v_1 - u, \dots, v_n - u$ is linearly dependent precisely when $\lambda_1 + \dots + \lambda_n=1$

Is Schilling's Corollary 8.9 really a corollary?

Show $\lim_{h \to \ 0} \frac{f(x + 2h) - 2f(x+h) + f(x)}{h^{2}} = f''(x)$ Proof verification

Elementary Proof Relating to Pythagorean Triples