mathlib
c3fc15b2 - fix(data/finmap): `finmap.all` should not always be `ff` (#18432)

Commit

2 years ago

fix(data/finmap): `finmap.all` should not always be `ff` (#18432) Also removes some unnecesary back and forth between bool and Prop.

Author

eric-wieser

Parents