efbee2d606
Use the standard "elements_num" naming, and use the "corner" name rather than the old "loop" name: `verts_num`, `edges_num`, and `corners_num`. This matches the existing `faces_num` field which was already renamed. Pull Request: https://projects.blender.org/blender/blender/pulls/116350