Theorem Set.WellFoundedOn.acc_iff_wellFoundedOn

Modification history