Theorem NNRat.cast_eq_id

Modification history