Well-Founded Recursion Theorem for Set-Like Class Relations - Androma

Well-Founded Recursion Theorem for Set-Like Class Relations

Well-Founded Recursion Theorem for Set-Like Class Relations

No pull requests yet

Pull requests let you propose changes to this theorem's content.

Create Pull Request