Merge branch 'remove_empty_lemmas_value' into 'master'
Hide lemmas value when it's None, remove None value when evaluating for duplicates. See merge request !11
Please register or sign in to comment
Hide lemmas value when it's None, remove None value when evaluating for duplicates. See merge request !11