---
title: The Perfect Math Class
date: '2024-09-15'
tags: ["Cirno"]
---
# Content

Here are some contents for the perfect math class. [A link](https://example.com)

```lean
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
$$