Theorem X.tagged

Modification history

2024-08-27 21:15
test/StacksAttribute.lean
chore: add the stacks attribute and extension (#16191) …
Added X.taggedView on Github →