mathlib3
40214fcb - feat(ring_theory/derivations): stab on derivations (#3688)

Commit

5 years ago

feat(ring_theory/derivations): stab on derivations (#3688)

References

#4925 - Make prime-avoidance branch build

Author

Nicknamen

Nicknamen

Parents

Loading