Theorem uniformly_extend_of_ind

Modification history