Balanced

📁 Source: Mathlib/CategoryTheory/Balanced.lean

Statistics

Metric	Count
Definitions	0
Theorems isIso_of_mono_of_epi, balanced_opposite, isIso_iff_mono_and_epi, isIso_of_mono_of_epi	4
Total	4

CategoryTheory

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
balanced_opposite 📖	mathematical	—	Balanced Opposite Category.opposite	—	Quiver.Hom.op_unop isIso_of_op isIso_op isIso_of_mono_of_epi unop_mono_of_epi unop_epi_of_mono
isIso_iff_mono_and_epi 📖	mathematical	—	IsIso Mono Epi	—	IsSplitMono.mono IsSplitMono.of_iso IsSplitEpi.epi IsSplitEpi.of_iso isIso_of_mono_of_epi
isIso_of_mono_of_epi 📖	mathematical	—	IsIso	—	Balanced.isIso_of_mono_of_epi

CategoryTheory.Balanced

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isIso_of_mono_of_epi 📖	mathematical	—	CategoryTheory.IsIso	—	—

---

← Back to Index