mathlib
8feb6315 - Merge branch 'field-hom' into field-power-strict-mono

Commit

6 years ago

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

References

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

Author

jcommelin

jcommelin

Parents

Loading