Bonjour,

Une solution pour le non congru à est
/not/equiv

On peut l'utiliser pour tous les opérateurs ( voir manuel math section 3.6 Négations )

isomorphe est dans la palette relations binaires :
c'est cong


Siegfried.


Répondre à