Talk:Induction-recursion: Difference between revisions

Content deleted Content added
Assessment: +Mathematics: class=Start, priority=Low, field=foundations (assisted)
Cewbot (talk | contribs)
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.
 
Line 1:
{{MathsWikiProject ratingbanner shell|class=Start |priority=Low |field=foundations}}
{{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: