mathlib3 documentation

core / init.meta.widget.replace_save_info