Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
submonoid.subsingleton_iff
Modification history
2021-08-17 16:30
src/group_theory/submonoid/basic.lean
chore(*): flip various `subsingleton_iff`, `nontrivial_iff` lemmas and add `simp` (#8703)
Modified
submonoid.subsingleton_iff
View on Github →
2021-01-12 16:10
src/group_theory/submonoid/basic.lean
feat(submonoid/basic): subsingleton and nontrivial instances for {add_,}submonoid (#5690)
Added
submonoid.subsingleton_iff
View on Github →