Def complete_lattice.is_compactly_generated

Modification history