Theorem uniform_extend_subtype

Modification history