Skip to content
Find file Blame History Permalink
  • Richard Eisenberg's avatar
    Fix #11401. · 35d37ff8
    Richard Eisenberg authored 
    This commit teaches shortCutReduction about Derived constraints.

[skip ci]
    35d37ff8