Theorem and_congr_right'

Modification history