Content deleted Content added
Added commentary from the creator of induction-recursion |
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. Remove 1 deprecated parameter: field. Tag: |
||
| (2 intermediate revisions by 2 users not shown) | |||
Line 1:
{{WikiProject banner shell|class=Start|
{{WikiProject Mathematics|priority=Low }}
}}
When I wrote the initial version, I contacted Dybjer to make sure it was accurate. This was his reply on 2013 Jan 30:
| |||