‣ AddIsReflexive( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation IsReflexive. F: ( arg2 ) \mapsto \mathtt{IsReflexive}(arg2).
generated by GAPDoc2HTML