Another set of changes

Author: MikailBag

source/memory.tex

@@ -2330,7 +2330,7 @@
 
 \pnum
 \ensures
-\tcode{get() == nullptr}. \tcode{get_deleter()}
+\tcode{get() == nullptr} is \tcode{true}. \tcode{get_deleter()}
 returns a reference to the stored deleter.
 \end{itemdescr}
 
@@ -2358,7 +2358,7 @@
 
 \pnum
 \ensures
-\tcode{get() == p}. \tcode{get_deleter()}
+\tcode{get() == p} is \tcode{true}. \tcode{get_deleter()}
 returns a reference to the stored deleter.
 \end{itemdescr}
 
@@ -2390,7 +2390,7 @@
 
 \pnum
 \ensures
-\tcode{get() == p}.
+\tcode{get() == p} is \tcode{true}.
 \tcode{get_deleter()} returns a reference to the stored
 deleter. If \tcode{D} is a reference type then \tcode{get_deleter()}
 returns a reference to the lvalue \tcode{d}.