Theorem WType.cardinal_mk_eq_sum

Modification history