Theorem iInf_congr_Prop

Modification history