Code

alternate proof for add_right_eq_self#64

Code

Merged

joneugster merged 1 commit intoleanprover-community:mainleanprover-community/NNG4:mainfrom yannickseurin:add_right_eq_selfyannickseurin/NNG4:add_right_eq_selfCopy head branch name to clipboardAug 28, 2024

+10-12

Commits

Commits on Jun 12, 2024

• alternate proof for add_right_eq_self

  yannickseurin

  authored
  2ba1b70

  Copy full SHA for 2ba1b70