Theorem not_congr

Modification history