Theorem CompleteLattice.independent_def

Modification history