Theorem Function.Commute.id_right

Modification history

2024-01-16 21:01

Mathlib/Logic/Function/Conjugate.lean

feat(Function/Conjugate): add `Semiconj.inverse_left` (#9724) …

Modified Function.Commute.id_right View on Github →

2022-11-06 08:48

Mathlib/Logic/Function/Conjugate.lean

feat: port Logic.Function.Conjugate (#533) …

Added Function.Commute.id_right View on Github →