Translation of Chapter 7. Definitions #32
Description
** 要翻译的文档范围 **
以相对路径列出要翻译的文档
- Manual/Defs.lean
- Manual/RecursiveDefs.lean
- Manual/RecursiveDefs/WF.lean
- Manual/RecursiveDefs/Structural.lean
- Manual/RecursiveDefs/PartialFixpoint.lean
Metadata
Metadata
Assignees
Labels
No labels