typo, duplicate #1176

Closed

Milestone

opened

on Feb 23, 2024

analysis/theories/measure.v

Line 122 in 0105ccc

    
           (*   Measure_isProbability == factor for probability measures                 *)

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

1.0.1

Relationships

None yet

Development

No branches or pull requests