Theorem CompleteLattice.WellFoundedGT.finite_ne_bot_of_independent

Modification history