Expii

Proof of Quadratic Ideal Factorization from Artin's Book - Expii