prove_group_implementations.sage 8.5 KB