Theorem infᵢ_eq_dif

Modification history