Theorem List.surjective_tail

Modification history