equal
deleted
inserted
replaced
45 \newcommand{\compose}{\circ} |
45 \newcommand{\compose}{\circ} |
46 \newcommand{\eset}{\emptyset} |
46 \newcommand{\eset}{\emptyset} |
47 |
47 |
48 \newcommand{\id}{\boldsymbol{1}} |
48 \newcommand{\id}{\boldsymbol{1}} |
49 |
49 |
50 \newtheorem{property}{Property} |
|
51 \newtheorem{prop}{Proposition} |
50 \newtheorem{prop}{Proposition} |
|
51 \newtheorem{property}[prop]{Property} |
52 \newtheorem{thm}[prop]{Theorem} |
52 \newtheorem{thm}[prop]{Theorem} |
53 \newtheorem{lem}[prop]{Lemma} |
53 \newtheorem{lem}[prop]{Lemma} |
54 \newtheorem{defn}[prop]{Definition} |
54 \newtheorem{defn}[prop]{Definition} |
55 \newtheorem{axiom}[prop]{Axiom} |
55 \newtheorem{axiom}[prop]{Axiom} |
56 |
56 |