Stream: Coq users

Topic: [ssreflect] create finType from unique seq


view this post on Zulip Notification Bot (Oct 14 2021 at 15:42):

This topic was moved by Théo Zimmermann to #math-comp users > [ssreflect] create finType from unique seq


Last updated: Jun 18 2024 at 08:01 UTC