= Formalization of X This section is about formalization efforts of specific fields of <mathematics>.
Back to article page
