Theorem or_congr_right'

Modification history