Theorem Cardinal.mk_sigma_congr'

Modification history