HasCardinalLT

📁 Source: Mathlib/CategoryTheory/Subobject/HasCardinalLT.lean

Statistics

Metric	Count
Definitions	0
Theorems hasCardinalLT_of_mono	1
Total	1

CategoryTheory.Subobject

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
hasCardinalLT_of_mono 📖	—	HasCardinalLT CategoryTheory.Subobject	—	—	HasCardinalLT.of_injective map_obj_injective

---

← Back to Index