mathlib3
6d19ebaa - feat(): add to_sub lemmas for `map`, `fg` (#11480)

Commit

3 years ago

feat(*): add to_sub* lemmas for `map`, `fg` (#11480) From flt-regular. Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents

mathlib3 6d19ebaa - feat(*): add to_sub* lemmas for `map`, `fg` (#11480)