Simple

📁 Source: Mathlib/Topology/Algebra/Module/Simple.lean

Statistics

Metric	Count
Definitions	0
Theorems isClosed_or_dense_ker	1
Total	1

LinearMap

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isClosed_or_dense_ker 📖	mathematical	—	IsClosed SetLike.coe Submodule Ring.toSemiring AddCommGroup.toAddCommMonoid Submodule.setLike ker RingHom.id Semiring.toNonAssocSemiring Dense	—	surjective_or_eq_zero Submodule.isClosed_or_dense_of_isCoatom ContinuousSMul.continuousConstSMul isCoatom_ker_of_surjective ker_zero isClosed_univ

---

← Back to Index