Theorem IsMin.fst

Modification history