Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-11 21:59
e7db1936
View on Github →
feat(algebra/module): add
module.nontrivial
(
#12594
)
Estimated changes
Modified
src/algebra/module/basic.lean
deleted
theorem
module.subsingleton