Adding preserves-definedness attributes to domains.md
#4680
+21
−20
preserves-definedness attributes to domains.md
#4680