leanprover/doc-gen4

Recover information about arguments of structures that we extend from

hargoniX opened this issue a year ago · 0 comments

hargoniX commented a year ago

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