Theorem orthonormal_subtype_range

Modification history