Theorem exists_covBy_of_wellFoundedLT

Modification history