Skip to content

rename `agree_op_{inv,invL}'` to `to_agree_op_{inv,invL}`

Ralf Jung requested to merge ralf/to-agree-op-inv into master

Merge request reports