@[defeq] #470
Description
What question should the reference manual answer?
Which theorems should be marked @[defeq] and why?
{{ message }}
What question should the reference manual answer?
Which theorems should be marked @[defeq] and why?