Fix typos

Author: ykawase5048

database/data/003_properties/002_limits-colimits-existence.sql

@@ -329,15 +329,15 @@ VALUES
 ),
 (
 	'multi-complete',
-	'has',
+	'is',
 	'A <i>multi-limit</i> of a diagram $D\colon \mathcal{S} \to \mathcal{C}$ is a set $I$ of cones over $D$ such that every cone over $D$ uniquely factors through a unique cone belonging to $I$. This property refers to the existence of multi-limits of small diagrams. Note that any diagram with no cone admits a multi-limit, which is the empty set of cones.',
 	'https://ncatlab.org/nlab/show/multilimit',
 	'multi-cocomplete',
 	TRUE
 ),
 (
 	'multi-cocomplete',
-	'has',
+	'is',
 	'A <i>multi-colimit</i> of a diagram $D\colon \mathcal{S} \to \mathcal{C}$ is a set $I$ of cocones over $D$ such that every cocone over $D$ uniquely factors through a unique cocone belonging to $I$. This property refers to the existence of multi-colimits of small diagrams. Note that any diagram with no cocone admits a multi-colimit, which is the empty set of cocones.',
 	'https://ncatlab.org/nlab/show/multilimit',
 	'multi-complete',