HenrySeptember 29th at 23:29Proof of (2) of Definition 23.2.2 has typo, $A^{c}$ belongs to $\bar{\cal{M}}$ instead of $\cal{M}$#5Powered by Spec