Theorem Alexandroff.specializes_coe

Modification history