Theorem ZSpan.setFinite_inter

Modification history