Theorem CompleteLattice.independent_def''

Modification history