Theorem List.nextOr_singleton

Modification history