| Wed, 29 Jun 2011 17:01:09 +0100 | Christian Urban | added a warning if a theorem is already declared as equivariant | file | diff | annotate |
| Fri, 07 Jan 2011 02:30:00 +0000 | Christian Urban | derived equivariance for the function graph and function relation | file | diff | annotate |