Theorem congr_heq

Modification history