Theorem Set.Finite.fin_param

Modification history