doc: clarify that lean_initialize_runtime_module is implied by lean_initialize#6677
Merged
Kha merged 1 commit intoleanprover:masterfrom eric-wieser:patch-35Jan 28, 2025
+1-1
lean_initialize_runtime_module is implied by lean_initialize#6677