lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

fix: do not include internal `match` equational theorems at simp trace

Open leodemoura opened this issue 9 months ago • 1 comments

closes #4251

leodemoura avatar May 25 '24 01:05 leodemoura