typo #1074

Closed

Milestone

opened

analysis/theories/probability.v

Line 27 in 270c4c4

    
           (*            dRV_eunm X == bijection between the domain and the range of X   *)

eunm -> enum

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

0.6.6

Relationships

None yet

Development

No branches or pull requests