Revision history of "are all elements of the list the same type" (Z13220)
ᡳᠯᡤᠠᠪᡠᠨ ᠰᠣᠨᠵᠣᡥᠣᠨ᠄ ᠪᡠᡳᠪᡠᠯᡝᡵᡝ ᡩᡠᡵᡠᠨ ᡳ ᡵᠠᡩᡳᠣ ᡴᡠᠸᠠᠩᠰᡝ ᠪᡝ ᠰᠣᠨᠵᠣᡥᠣ ᠮᠠᠩᡤᡳ ᡝᠨᡨᡝᡵ ᡝᡳᠴᡳ ᡝᠨᡨᡝᡵ ᡶᡝᠵᡝᡵᡤᡳ ᠪᡝ ᠠᠨᠠ᠈
ᠰᡠᡥᡝ ᡤᡳᠰᡠᠨ᠄ (ᠨᡝ) = ᡥᠠᠨᠴᡳᡴᡳ ᡩᡠᡵᡠᠨ ᠴᡳ ᡩᡠᡳᠪᡠᠯᡝᠮᠪᡳ᠈ (ᡝᠪᡳᠰᡳᡥᡝ) = ᠨᡝᠨᡝᡥᡝ ᡩᡠᡵᡠᠨ ᠴᡳ ᡩᡠᡳᠪᡠᠯᡝᠮᠪᡳ᠈ m = ᠠᠵᡳᡤᡝ ᡴᡡᠪᡠᠯᡳᠨ᠈