Theorem CompleteLattice.setIndependent_iff_finite

Modification history