Theorem Quotient.congr_mk

Modification history