sigma_finiteP naming #1080

Closed

Labels

Milestone

IshiguroYoshihiro

opened

analysis/theories/measure.v

Line 3181 in 99f98a0

Lemma sigma_finiteP : sigma_finite A mu ->

Why suffix P without reflect or equivalence?

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

1.0.1

Relationships

None yet

Development

No branches or pull requests