Theorem And.congr_right_iff

Modification history