Theorem wellFoundedGT_dual_iff

Modification history