Theorem List.surjective_head'

Modification history