Theorem small_congr

Modification history