|
+
+ _{MsgSubmissionUserDisplayName}
+ $if isLecturer
+
+ |
+ _{MsgSubmissionUserMatriculation}
+
+ |
+ _{MsgSubmissionUserEmail}
+ $forall subUser <- subUsers
+ $case subUser
+ $of Left email
+
+ |
+ | |
|---|