Theorem List.ext_get_iff

Modification history