Theorem covBy_congr_left

Modification history