Theorem Function.Exact.of_comp_eq_zero_of_ker_in_range

Modification history

2024-07-10 15:00

Mathlib/Algebra/Exact.lean

feat: more API for Function.Exact (#14520) …

Modified Function.Exact.of_comp_eq_zero_of_ker_in_range View on Github →

2024-07-01 12:34

Mathlib/Algebra/Exact.lean

feat(RingTheory/AdicCompletion): exactness properties of adic completions (#12650) …

Added Function.Exact.of_comp_eq_zero_of_ker_in_range View on Github →