Content

Here are some contents for the perfect math class. A link

theorem perfect_number_theorem (n: Nat),
	Nat.is_odd → ¬perfect n := by
	intro h
	apply cirno_theorem

:>WARNING The proof is elusive!

Some KaTeX: a^n + b^n = c^n.


\Gamma(z) = \int_0^\infty e^{-t} t^{z-1}\,\mathrm dz


\vec z^{(l+1)} = \mat M\vec z^{(l)} + \vec b

\\newcommand{\\cirno}{9}