mathlib documentation

core.​init.​meta.​widget.​replace_save_info

core.​init.​meta.​widget.​replace_save_info