Theorem Eq.congr_left

Modification history