Theorem uniformly_extend_exists

Modification history