Home
Bugs
Help
Find!
1 in notes
dilma
experimental gismu
x
1
belongs to conjugacy class x
2
in structure x
3
under conditions x
4
jbovlaste
In notes:
modju
x
1
(li; number) is congruent to x
2
(li; number; see description for canonical/traditional/contextless default usage) modulo x
3
(li; number); \frac(x
1 - x
is an integer.