\usepackage{kuma}

SetTheory/solutions.tex

@@ -1,34 +1,11 @@
 \documentclass[12pt]{article}
-\usepackage[margin=1in]{geometry}
-\usepackage{mathtools}
-\usepackage{amsthm}
-\usepackage{amsfonts}
-\usepackage{amssymb}
-\usepackage{enumitem}
-\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
-\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}
-\newcommand{\dom}{\mathop{\mathrm{dom}}}
-\newcommand{\ran}{\mathop{\mathrm{ran}}}
-\newcommand{\type}{\mathop{\mathrm{type}}}
-\newcommand{\trcl}{\mathop{\mathrm{trcl}}}
-\newcommand{\pred}{\mathop{\mathrm{pred}}}
-\newcommand{\rank}{\mathop{\mathrm{rank}}}
-\newcommand{\mos}{\mathop{\mathrm{mos}}}
-\newcommand{\val}{\mathop{\mathrm{val}}}
-\newcommand{\cf}{\mathop{\mathrm{cf}}}
-
-\theoremstyle{definition}
-\newtheorem{innercustomthm}{Exercise}
-\newenvironment{customthm}[1]
-  {\renewcommand\theinnercustomthm{#1}\innercustomthm}
-  {\endinnercustomthm}
+\usepackage{kuma}
 
 \title{
   \vspace{-2cm}
   Set Theory \\
   \large by Kenneth Kunen \\
   Exercise Solutions
-  \author{Yoshihiro Kumazawa}
 }
 
 \begin{document}