Theorem Set.finrank_mono

Modification history