Theorem Finsupp.infᵢ_ker_lapply_le_bot

Modification history