duplicate of eq_measurable_fun ? #883

Closed

Labels

renaming/refactoring 🔧

Milestone

opened

on Mar 19, 2023

analysis/theories/measure.v

Line 1065 in 3d42a9b

Lemma measurable_fun_ext D (f g : T1 -> T2) :

Metadata

Assignees

No one assigned

Labels

renaming/refactoring 🔧

Type

No type

Projects

No projects

Milestone

0.6.2

Relationships

None yet

Development

No branches or pull requests