Theorem Class.congToClass_empty

Modification history