Mathlib v3 is deprecated. Go to Mathlib v4

Def ideal.pi

Modification history

2020-07-30 07:34

src/ring_theory/ideals.lean

feat(linear_algebra): invariant basis number property (#3560)

Added ideal.pi View on Github →