mathlib3
5fd2037e - chore(*): rename is_unit_pow to is_unit.pow (#4329)

Commit

5 years ago

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

References

Author

jcommelin

Parents