Category:Group properties tautological for finite groups

This category lists group properties that are tautological (or always true) for finite groups.