Theorem CompleteLattice.WellFoundedLT.finite_ne_bot_of_independent

Modification history