Cardinality

📁 Source: Mathlib/GroupTheory/MonoidLocalization/Cardinality.lean

Statistics

Metric	Count
Definitions	0
Theorems cardinalMk_le, cardinalMk_le	2
Total	2

AddLocalization

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
cardinalMk_le 📖	mathematical	—	Cardinal Cardinal.instLE AddLocalization	—	AddOreLocalization.cardinalMk_le

Localization

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
cardinalMk_le 📖	mathematical	—	Cardinal Cardinal.instLE Localization	—	OreLocalization.cardinalMk_le

---

← Back to Index