batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: move RBNode depth lemmas out

Open digama0 opened this issue 1 year ago • 0 comments

These lemmas are separate from the rest and need not be pulled in by the main file.

digama0 avatar Apr 16 '24 15:04 digama0