Theorem le_Prop_eq

Modification history