leader property Null safety

User leader
final

The group's leader user

Implementation

final User leader;