mathlib3
aa0694a1 - fix(data/set/finite): drop {α : Type}, fixes universe issue (#8922)

Commit

4 years ago

fix(data/set/finite): drop {α : Type}, fixes universe issue (#8922)

Author

jcommelin

jcommelin

Parents

Loading