Theorem AddEquiv.withZeroCongr_apply

Modification history