Theorem Array.get_set_eq

Modification history