Theorem ge_antisymm

Modification history