Mathlib v3 is deprecated. Go to Mathlib v4

Def ideal.span

Modification history

2019-01-28 19:59

src/ring_theory/ideals.lean

feat(*) refactor module

Modified ideal.span View on Github →

2018-11-05 10:47

ring_theory/ideals.lean

feat(linear_algebra,ring_theory): refactoring modules (#456) …

Added ideal.span View on Github →