Skip to content

Definitional equality improvements

Richard Eisenberg requested to merge wip/T17674 into master

This MR will eventually contain fixes to #17674, #17675 (closed), and #17655 (closed), being a raft of improvements around definitional equality.

Edited by Richard Eisenberg

Merge request reports