leanprover-community/mathlib3

Pull Requests Commits
fix
astrainfinita committed 2 years ago
a0410a49
Merge branch 'fin_refactor_lint' into fin_refactor2
astrainfinita committed 2 years ago
f82b51c6
fix
astrainfinita committed 2 years ago
61440536
fix test
ChrisHughes24 committed 2 years ago
468622e1
fix test
ChrisHughes24 committed 2 years ago
e2905576
Update src/data/fin/basic.lean
ChrisHughes24 committed 2 years ago
Verified ac387b03
Apply suggestions from code review
ChrisHughes24 committed 2 years ago
Verified ce933107
Apply suggestions from code review
ChrisHughes24 committed 2 years ago
Verified 04e990bc
fix simp to simps
ChrisHughes24 committed 2 years ago
002f740a
fix timeout in adjoin_root
ChrisHughes24 committed 2 years ago
70435a4e
fix tactic and tests
ChrisHughes24 committed 2 years ago
f8527c11
revert changes to interactive
ChrisHughes24 committed 2 years ago
c24bfe6d
fix
astrainfinita committed 2 years ago
4fe2c07a
remove `@[simps]` of `adjoin_root.power_basis_aux'`
astrainfinita committed 2 years ago
168f579c
Revert "remove `@[simps]` of `adjoin_root.power_basis_aux'` and `adjoin_root.power_basis'`"
astrainfinita committed 2 years ago
4303a393
line length
astrainfinita committed 2 years ago
6ab942c7
fix
astrainfinita committed 2 years ago
42b2b1fe
fix
astrainfinita committed 2 years ago
d5818eb9
remove `@[simps]` of `adjoin_root.power_basis_aux'` and `adjoin_root.power_basis'`
astrainfinita committed 2 years ago
d8384ddf
fix
astrainfinita committed 2 years ago
23fdac64
fix
astrainfinita committed 2 years ago
c5c20826
fix
astrainfinita committed 2 years ago
0a5a024b
fix
astrainfinita committed 2 years ago
1544ec62
fix
astrainfinita committed 2 years ago
5d6fee2f
fix
astrainfinita committed 2 years ago
13a4fb55
Merge branch 'fin_refactor' into fin_refactor2
astrainfinita committed 2 years ago
a5f2df79
more changes
astrainfinita committed 2 years ago
233d7367
line length
ChrisHughes24 committed 2 years ago
e5555e7e
fix tests
ChrisHughes24 committed 2 years ago
9adafbe9
almost fix `norm_fin`
ChrisHughes24 committed 2 years ago
e6e54fe3
Terms Of Use Privacy Policy Refund Policy Impressum