Theorem WellFounded.transGen

Modification history