Définition corolaire

Nom commun
- (Mathématiques) (logique) Proposition logique découlant d'une autre.
- (Mathématiques) Conséquence immédiate d'un théorème énoncé et démontré.
- (Par extension) Conséquence naturelle.

Adjectif
- Qui est la suite logique et directe.