Theorem WellFoundedGt.fix_eq

Modification history