Theorem Function.Semiconj₂.isIdempotent_left

Modification history

2024-02-02 04:48

Mathlib/Logic/Function/Conjugate.lean

chore: move to v4.6.0-rc1, merging adaptations from bump/v4.6.0 (#10176)

Modified Function.Semiconj₂.isIdempotent_left View on Github →

2022-11-13 23:57

Mathlib/Logic/Function/Conjugate.lean

chore: renaming and alignment for various definitions and lemmas (#572)

Added Function.Semiconj₂.isIdempotent_left View on Github →