Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-17 00:42 6d19ebaa

View on Github →

feat(): add to_sub lemmas for map, fg (#11480) From flt-regular.

Estimated changes