Def complete_lattice.independent

Modification history