Theorem Set.preimage_const_add_Icc

Modification history