Theorem Quot.congr_mk

Modification history