Theorem NonemptyInterval.map₂_pure

Modification history