Theorem exists_covBy_of_wellFoundedGT

Modification history