Theorem Function.Exact.of_comp_of_mem_range

Modification history

2024-07-10 15:00

Mathlib/Algebra/Exact.lean

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

Modified Function.Exact.of_comp_of_mem_range View on Github →

2024-05-24 03:47

Mathlib/Algebra/Exact.lean

Feat(Algebra/Exact): Transport of exact sequences & the behavior under quotienting (#13126) …

Added Function.Exact.of_comp_of_mem_range View on Github →