Talk:Successor is Less than Successor/Sufficient Condition

From ProofWiki
Jump to navigation Jump to search

This page (and its subsets) be moved to Ordinal Successor is Cancellable. --kc_kennylau (talk) 06:14, 6 November 2016 (EST)