aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/ssreflect/ssrfun.v
blob: 2dd710333beb417af6a810e615e004dd296fa34a (plain) 
1
2

From Coq Require Export ssrfun.
From mathcomp Require Export ssrnotations.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:25:14 +0000