Theorem Filter.supₛ_sets_eq

Modification history