Theorem GaloisCoinsertion.isCoatom_of_l_top

Modification history