Metamath Proof Explorer

Table of Contents - 21.17.1. Inferences for finite induction on generic function values

1. fveleq
2. findfvcl
3. findreccl
4. findabrcl