mathlib3
e7db1936 - feat(algebra/module): add `module.nontrivial` (#12594)

Commit

3 years ago

feat(algebra/module): add `module.nontrivial` (#12594)

References

Author

urkud

urkud

Parents

Loading