Inductive Mathlib.StacksTag.Database

Modification history

2026-05-13 12:28
Mathlib/Tactic/CrossRefAttribute.lean
refactor(CrossRefAttribute): abstract over external databases (#39283) …
Deleted Mathlib.StacksTag.DatabaseView on Github →
2024-09-10 10:16
Mathlib/Tactic/StacksAttribute.lean
chore(Tactic.StacksAttribute): add kerodon to stacks tag attribute (#16643) …
Added Mathlib.StacksTag.DatabaseView on Github →