tree de98ad3284f376a216ed06f7dff6378e9ea8b8ae
parent eb087e165c698f5dd01c1ccfed917494dc1b8ef4
author Clément Béra <clementbera@google.com> 1684740377 +0200
committer Clément Béra <clementbera@google.com> 1684740377 +0200

Remove binop on identity and absorbing elements

Change-Id: I119827ee606f21007fc3be8d00c489b6c3b6b290