Theorem WellFoundedRelation.asymmetric₃

Modification history