jjgarzella/adjunction_formula

A very detailed proof of the adjunction formula

Lean