Module
📁 Source: MathlibTest/instance_diamonds/Data/Complex/Module.lean
Statistics
| Metric | Count |
|---|
DefinitionsModule | 1 |
| Theorems | 0 |
| Total | 1 |
(root)
Definitions
| Name | Category | Theorems |
|---|
Module 📖 | CompData | 11 mathmath: AddCommMonoid.subsingletonNatModule, Module.exists_finite_presentation, Module.FinitePresentation.equiv_quotient, subsingleton_rat_module, LieAlgebra.toModule_injective, subsingleton_nnrat_module, ZMod.instSubsingletonModule, SmoothBumpCovering.comp_embeddingPiTangent_mfderiv, Module.Projective.iff_split, AddCommMonoid.subsingletonIntModule, Module.Projective.iff_split'
|
---
← Back to Index