Module

📁 Source: MathlibTest/instance_diamonds/Data/Complex/Module.lean

Statistics

Metric	Count
Definitions Module	1
Theorems	0
Total	1

(root)

Definitions

Name	Category	Theorems
Module 📖	CompData	7 math math: AddCommMonoid.subsingletonNatModule, subsingleton_rat_module, LieAlgebra.toModule_injective, subsingleton_nnrat_module, ZMod.instSubsingletonModule, SmoothBumpCovering.comp_embeddingPiTangent_mfderiv, AddCommMonoid.subsingletonIntModule

---

← Back to Index