mathlib documentation

core.​init.​data.​rbtree.​default

core.​init.​data.​rbtree.​default