Skip to content

Simplifications simplify proof #26

Simplifications simplify proof

Simplifications simplify proof #26