Theorem Set.projIci_eq_self

Modification history