Theorem OnePoint.specializes_coe

Modification history