Theorem Cardinal.mkRat

Modification history