Template:Finitarily tautological group property

From Groupprops