answered 5 years ago
This is a bug. the _richcmp_ method of mixed form only make sense for ==. Read the code
_richcmp_
==
sage: Form0._richcmp_??