var group__group_EuclideanRing =
[
    [ "div", "group__group-EuclideanRing.html#ga4225a7988ce98903228913dde53762df", null ],
    [ "mod", "group__group-EuclideanRing.html#ga9b47b223d5b02db933b3c93b5bd1a062", null ]
];