mathlib
a847d98e - Merge branch 'master' into field-power-strict-mono

Commit

6 years ago

Merge branch 'master' into field-power-strict-mono

References

#1778 - feat(algebra/field_power): fpow is a strict mono

Author

jcommelin

jcommelin

Parents

Loading