Theorem Concept.supₛ_fst

Modification history