Theorem iSup_Prop_eq

Modification history