Template:Algebraic subgroup property

The following property can be evaluated for a closed subgroup of an algebraic group