Theorem Function.Injective.rightDistribClass

Modification history

2025-04-15 07:29

Mathlib/Algebra/Ring/InjSurj.lean

chore(*): rename more type vars for *rings (#24022)

Modified Function.Injective.rightDistribClass View on Github →

2024-04-22 08:47

Mathlib/Algebra/Ring/InjSurj.lean

feat(Ring/InjSurj): add missing lemmas (#12328) …

Added Function.Injective.rightDistribClass View on Github →