View source for Category:Pages with proofs

This category collates pages containing mathematical proofs for theorems in xen theory. Novices in the more rigorous side of tuning theory may find these pages helpful for starting out on what results have already been proved and what mathematical tools and proof strategies are frequent.
[[Category:Math]]