doc-gen4 icon indicating copy to clipboard operation
doc-gen4 copied to clipboard
verified publisher icon leanprover

Recover information about arguments of structures that we extend from

Open hargoniX opened this issue 2 years ago • 0 comments

https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/doc-gen.20ClosureOperator.20issue/near/386707884

hargoniX avatar Aug 22 '23 22:08 hargoniX