Theorem Set.projIci_self

Modification history