Theorem WType.cardinal_mk_eq_sum'

Modification history