Theorem Cardinal.mk_pi_congr'

Modification history