Theorem Function.Injective.leftDistribClass

Modification history

2025-04-15 07:29
Mathlib/Algebra/Ring/InjSurj.lean
chore(*): rename more type vars for *rings (#24022)
Modified Function.Injective.leftDistribClassView on Github →
2024-04-22 08:47
Mathlib/Algebra/Ring/InjSurj.lean
feat(Ring/InjSurj): add missing lemmas (#12328) …
Added Function.Injective.leftDistribClassView on Github →