Theorem Interval.subset_coe_map

Modification history