mathlib3
feat(ring_theory/adjoin): adjoining elements to form subalgebras
#756
Merged
Overview
Commits
10
Changes
View On GitHub
Commits
  • feat(ring_theory/adjoin): adjoining elements to form subalgebras
    kckennylau committed 6 years ago
  • Merge branch 'master' into algebra-adjoin
    ChrisHughes24 committed 6 years ago
  • Merge branch 'master' into algebra-adjoin
    jcommelin committed 6 years ago
  • Merge branch 'master' into algebra-adjoin
    jcommelin committed 6 years ago
  • Merge branch 'master' into algebra-adjoin
    jcommelin committed 6 years ago
  • Fix build
    jcommelin committed 6 years ago
  • Change to_submodule into a coercion
    jcommelin committed 6 years ago
  • Use pointwise_mul
    jcommelin committed 6 years ago
  • add simp attribute to adjoin_empty
    ChrisHughes24 committed 6 years ago
  • Merge branch 'master' into algebra-adjoin
    ChrisHughes24 committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading