Def CategoryTheory.Limits.KernelFork.IsLimit.ofιUnop

Modification history

2025-10-15 10:06
Mathlib/CategoryTheory/Limits/Opposites.lean
chore(CategoryTheory/Limits/Opposites): split the file Limits.Opposites (#30517) …
Modified CategoryTheory.Limits.KernelFork.IsLimit.ofιUnopView on Github →
2023-07-20 08:16
Mathlib/CategoryTheory/Limits/Opposites.lean
feat: left and right homology data are dual notions (#5674) …
Added CategoryTheory.Limits.KernelFork.IsLimit.ofιUnopView on Github →