feat(algebra/field_power): fpow is a strict mono #1778
mergify
merged
10 commits into
master
from
field-power-strict-mono
WIP
720f231e
feat(algebra/field): remove is_field_hom
260d6533
Fix up nolints.txt
85da1076
Merge branch 'field-hom' into field-power-strict-mono
8feb6315
Merge branch 'master' into field-power-strict-mono
a847d98e
fpvandoorn
commented
on 2019-12-06
Merge branch 'master' into field-power-strict-mono
a7bd78f1
fpvandoorn
commented
on 2019-12-06
Merge branch 'lean-3.4.2' into field-power-strict-mono
8c240819
Process comments from reviews
739d9172
fpvandoorn
commented
on 2019-12-06
Rename lemma
4e55665f
fpvandoorn
approved these changes
on 2019-12-07
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into field-power-strict-mono
c8c1b94c
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub