mathlib4-tactics のリンク変更 #997

Closed

Assignees

Labels

バグ・誤り・不備

opened

on Oct 17, 2024

リダイレクトの影響ですべてトップページに飛ばされるようになってしまったので修正が必要

Metadata

Assignees

Seasawher

Labels

バグ・誤り・不備

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests