lecopivo/SciLean/Issues

update lean version to match mathlib

#54Pull Requestalok 创建于 2025-01-28

A

alokcommented

正文缺失(legacy 时代评论事件不带 issue 快照,或为标题类事件)

合并状态:未合并 0 条评论