Theorem specializes_comm

Modification history