Theorem exists_maximal_independent'

Modification history