Theorem le_infₛ_inter

Modification history