Theorem Set.Finite.isSeparable

Modification history