Def Mathlib.Stacks.addTagEntry

Modification history

2024-09-10 10:16
Mathlib/Tactic/StacksAttribute.lean
chore(Tactic.StacksAttribute): add kerodon to stacks tag attribute (#16643) …
Deleted Mathlib.Stacks.addTagEntryView on Github →
2024-08-27 21:15
Mathlib/Tactic/StacksAttribute.lean
chore: add the stacks attribute and extension (#16191) …
Added Mathlib.Stacks.addTagEntryView on Github →