Theorem or_congr_left'

Modification history