Theorem projIcc_eq_one

Modification history