Labels Milestones

New Issue

0 Open 2 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

Add Content/新增内容

Extras/番外篇

Format Lint/格式修正

Language Improvement/语言修订

Proof Mistake/证明错误

Technical Problems/技术性问题

Milestone

All milestones No milestones

Project

All projects No project

Author

All users

Assignee

All assignees No assignee

ez_lcw

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

0 Open 2 Closed

Label

Clear labels

Add Content/新增内容

Extras/番外篇

Format Lint/格式修正

Language Improvement/语言修订

Proof Mistake/证明错误

Technical Problems/技术性问题

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

No assignee

ez_lcw

为标记了“证明：略”的地方添加证明思路概述

3

#7 by szTom was closed 2022-09-19 06:18:39 +00:00

翻译定理的名字

1

#3 by szTom was closed 2022-09-15 11:10:04 +00:00