Theorem Set.IsWF.of_wellFoundedLT

Modification history