Skip to content

Lean: fix doc_typdef for abbrev of ranges and bools #2149

Lean: fix doc_typdef for abbrev of ranges and bools

Lean: fix doc_typdef for abbrev of ranges and bools #2149