Theorem Turing.ListBlank.tail_map

Modification history