chore(CommRing/adjunctions): refactor proofs #1049
mergify
merged
20 commits into
master
from
CommRing-adjunctions
splitting adjunction.lean
8ece9663
chore(CommRing/adjunctions): refactor proofs
4442cb0d
Merge branch 'master' into CommRing-adjunctions
cbe7674f
remove unnecessary assumptions
e1c4408c
jcommelin
commented
on 2019-05-19
add helpful doc-string
414f0120
merge
1d11fbf6
cleanup
af297ca0
jcommelin
commented
on 2019-05-20
breaking things, haven't finished yet
4383d2c0
deterministic timeout
45c44d72
unfold_coes to the rescue
2f5bb7c7
Merge branch 'master' into CommRing-adjunctions
8effcc14
jcommelin
commented
on 2019-05-23
merge
1db6db0d
one more int.cast
2010839f
yet another int.cast
fdb45ed5
Update src/data/mv_polynomial.lean
f627b8ce
Update src/data/mv_polynomial.lean
d033d54c
jcommelin
approved these changes
on 2019-05-23
WIP
cb4a0f3d
jcommelin
approved these changes
on 2019-05-23
jcommelin
dismissed these changes
on 2019-05-23
Fix build
c27cf289
Fix build
12b28101
jcommelin
approved these changes
on 2019-05-23
Merge branch 'master' into 'CommRing-adjunctions'
37c14ac3
Login to write a write a comment.
Assignees
Labels
ready-to-merge
Milestone
No milestone