Theorem WellFounded.sigma_lex_of_wellFoundedOn_fiber

Modification history