extra-time (English, noun)
expansion: extra-time (uncountable)
Senses:
glosses: Alternative form of extra time.
tags: alt-of
alternative
uncountable
Forms: