Comment Comment by bustermellotron Size of a finite set. It’s common notation in this field. parent bustermellotron 5 months ago
