leanprover-community/mathlib3

Pull Requests Commits

use with_zero unit

jcommelin committed 3 years ago

ee9eb565

Merge branch 'jjaassoonn/counter_example_prime_not_hom_prime' of https://github.com/leanprover-community/mathlib into jjaassoonn/counter_example_prime_not_hom_prime

jjaassoonn committed 3 years ago

a1a9014f

jjaassoonn committed 3 years ago

42e18877

jjaassoonn committed 3 years ago

f0bb6e39

Update src/ring_theory/graded_algebra/radical.lean

jjaassoonn committed 3 years ago

Verified 85bdf44d

following @jcommelin advice

jjaassoonn committed 3 years ago

6c9676fd

Update homogeneous_prime_not_prime.lean

jjaassoonn committed 3 years ago

Verified ae9294ab

Delete prime_not_homogeneous_prime.lean

jjaassoonn committed 3 years ago

Verified dad4be43

Merge branch 'jjaassoonn/counter_example_prime_not_hom_prime' of https://github.com/leanprover-community/mathlib into jjaassoonn/counter_example_prime_not_hom_prime

jjaassoonn committed 3 years ago

63c04514

rename file; delete unused function

jjaassoonn committed 3 years ago

04ff2cee

Merge branch 'jjaassoonn/counter_example_prime_not_hom_prime' of https://github.com/leanprover-community/mathlib into jjaassoonn/counter_example_prime_not_hom_prime

jjaassoonn committed 3 years ago

6c018c28

Update counterexamples/prime_not_homogeneous_prime.lean

jjaassoonn committed 3 years ago

Verified 83b591b8

Update counterexamples/prime_not_homogeneous_prime.lean

jjaassoonn committed 3 years ago

Verified c607b9a9

Update counterexamples/prime_not_homogeneous_prime.lean

jjaassoonn committed 3 years ago

Verified c9642123

Update counterexamples/prime_not_homogeneous_prime.lean

jjaassoonn committed 3 years ago

Verified 8cd69cea

used @jcommelin approach

jjaassoonn committed 3 years ago

ee1c7dd5

eric-wieser committed 3 years ago

324acfae

Merge branch 'jjaassoonn/counter_example_prime_not_hom_prime' of https://github.com/leanprover-community/mathlib into jjaassoonn/counter_example_prime_not_hom_prime

jjaassoonn committed 3 years ago

5ef5d255

jjaassoonn committed 3 years ago

0d65d300

Update opposite.lean

jjaassoonn committed 3 years ago

Verified 9f4c1d00

Update exact.lean

jjaassoonn committed 3 years ago

Verified d467b255

jjaassoonn committed 3 years ago

6a79e8a0

Merge branch 'master' of https://github.com/leanprover-community/mathlib

jjaassoonn committed 3 years ago

71ccc1fc

feat(ring_theory/graded_algebra/radical) : radical of homogeneous ideal is homogeneous (#12277)

jjaassoonn committed 3 years ago

92ef3c51

chore(set_theory/cardinal_divisibility): add instance unique (units cardinal) (#12458)

Ruben-VandeVelde committed 3 years ago

40602e65

chore(set_theory/ordinal_arithmetic): Reorder theorems (#12475)

vihdzp committed 3 years ago

66961879

feat(analysis/normed_space/star/spectrum): prove the spectral radius of a star normal element is its norm (#12249)

j-loreaux committed 3 years ago

0a6efe0f

fix(algebra/group/pi): Fix apply-simp-lemmas for monoid_hom.single (#12474)

nomeata committed 3 years ago

28c902d8

refactor(set_theory/ordinal): `enum_lt` → `enum_lt_enum` (#12469)

vihdzp committed 3 years ago

64d953a1

feat(category_theory/abelian): (co)kernels in terms of exact sequences (#12460)

TwoFX committed 3 years ago

d61ebab1

Older