Theorem WithTop.well_founded_gt

Modification history