Theorem Set.preimage_const_sub_Icc

Modification history