doc: clarify that lean_initialize_runtime_module is implied by lean_initialize
#6467
Triggered via pull request
January 17, 2025 17:05
leanprover-community-bot
leanprover-community-bot
labeled
#6677
Status
Skipped
Total duration
3s
Artifacts
–