Theorem List.surjective_head

Modification history