Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-30 09:51 5fd2037e

View on Github →

chore(*): rename is_unit_pow to is_unit.pow (#4329) enable dot notation by renaming is_unit_pow to is_unit.pow

Estimated changes