finI_from is not documented #838

Closed

Milestone

opened

analysis/theories/topology.v

Line 2077 in 22c300b

Definition finI_from (I : choiceType) T (D : set I) (f : I -> set T) :=

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

0.6.1

Relationships

None yet

Development

No branches or pull requests