Theorem supᵢ_Prop_eq

Modification history