Theorem Con.ker_apply_eq_preimage

Modification history