verso icon indicating copy to clipboard operation
verso copied to clipboard
verified publisher icon leanprover

Go-to-def for {include A.B.C}

Open david-christiansen opened this issue 1 year ago • 0 comments

It should work!

david-christiansen avatar Apr 04 '24 14:04 david-christiansen