dilma experimental gismu

x1 belongs to conjugacy class x2 in structure x3 under conditions x4


In notes:

modju
x1 (li; number) is congruent to x2 (li; number; see description for canonical/traditional/contextless default usage) modulo x3 (li; number); \frac(x1 - x is an integer.