Theorem uniformly_extend_unique

Modification history