Theorem Cardinal.mk_eq_two_iff'

Modification history