imported>ProbablePrime m ProbablePrime moved page Category:Types:User to Types:User |
added a clarification and change category |
||
Line 1: | Line 1: | ||
A reference to a User connected to the session. Not to be confused with the physical form [[User]]. | |||
[[Category:Type]] | |||
A reference to a User. | |||
[[Category: |
Revision as of 00:58, 15 January 2024
A reference to a User connected to the session. Not to be confused with the physical form User.